Bibliography: p. 201-205

Topics: Heart, Heart, Stress (Psychology), Type A behavior, Heart Diseases, Stress, Psychological

We have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed...

Topics: Computing Research Repository, Programming Languages

Source: http://arxiv.org/abs/1405.3556